Wild theories with o-minimal open core
نویسندگان
چکیده
Let T be a consistent o-minimal theory extending the theory of densely ordered groups and let T ′ be a consistent theory. Then there is a complete theory T ∗ extending T such that T is an open core of T ∗, but every model of T ∗ interprets a model of T ′. If T ′ is NIP, T ∗ can be chosen to be NIP as well. From this we deduce the existence of an NIP expansion of the real field that has no distal expansion.
منابع مشابه
Structures Having O-minimal Open Core*
The open core of an expansion of a dense linear order is its reduct, in the sense of definability, generated by the collection of all of its open definable sets. In this paper, expansions of dense linear orders that have o-minimal open core are investigated, with emphasis on expansions of densely ordered groups. The first main result establishes conditions under which an expansion of a densely ...
متن کاملExpansions of the Real Line by Open Sets: O-minimality and Open Cores
The open core of a structure R := (R; <; : : :) is deened to be the reduct (in the sense of deenability) of R generated by all of its deenable open sets. If the open core of R is o-minimal, then the topological closure of any deenable set has nitely many connected components. We show that if every deenable subset of R is nite or uncountable, or if R deenes addition and multiplication and every ...
متن کاملDrought adaptations in wild barley (Hordeum spontaneum) grown in Iran
Wild barley contains a wide genetic diversity and therefore is adaptable to all kinds of harsh environments. The aim of this research was to determine the extent of drought stress adaptation within Hordeum spontaneum L. genotypes from different climates of Iran. From the primary population of 193 genotypes, a core set consisting of 18 genotypes, were selected based on the highest squared Euclid...
متن کاملExpansions of the real line by open sets: o-minimality and open cores
The open core of a structure R := (R, <, . . .) is defined to be the reduct (in the sense of definability) of R generated by all of its definable open sets. If the open core of R is o-minimal, then the topological closure of any definable set has finitely many connected components. We show that if every definable subset of R is finite or uncountable, or if R defines addition and multiplication ...
متن کاملExtensions of ordered theories by generic predicates
Given a theory T extending that of dense linear orders without endpoints (DLO), in a language L ⊇ {<}, we are interested in extensions T ′ of T in languages extending L by unary relation symbols that are each interpreted in models of T ′ as sets that are both dense and codense in the underlying sets of the models. There is a canonically “wild” example, namely, T = Th(〈R, <,+, ·〉) and T ′ = Th(〈...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Ann. Pure Appl. Logic
دوره 169 شماره
صفحات -
تاریخ انتشار 2018